Lecture on the bolzano-weierstrass theorem